描述逻辑FL-循环术语集的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL~-循环术语集的语义及推理问题.给出了FL~-循环术语集的语法、语义和不动点模型的构造方法.针对FL~-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL~-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.     

描述逻辑εL混合循环术语集的LCS和MSC推理

分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.     

C++语言编程技术的分析和研究

C++语言是当前十分流行的、面向对象程序设计语言。通过对C++语言的深入研究以及较多的编程实践,总结归纳了C++语言的知识体系和编程中的几个常见问题,比如构造函数、对象指针、const数据和成员的访问属性等,对这些容易搞混淆的问题逐一进行详尽的分析和说明,并解释了其原因所在。通过阅读该文可为编程者带来有益的帮助,以便编程中碰到同类问题时能够解决。     

常用功率半导体器件的检测及其应用

以晶闸管为主体的一系列功率半导体器件由于具有容量大、体积小、效率高、寿命长等优点,自问世以来便获得了迅速发展,广泛应用于可控整流、逆变与变频、交流调压、无触点开关等电力电子技术中。着重研究了其结构、检测方法及典型应用等。     

基于逻辑程序的访问控制描述与推理

提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。     

利用不动点求解子句逻辑推演的Petri网模型

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.     

C#中构造函数浅析

构造函数是C#语言中一种非常重要的方法,该文简要介绍了构造函数的概念和作用,较系统地的介绍了各类构造函数在C#中的运用,以及在使用过程中需要注意的若干事项。     

关于建造师协会的定位分析

随着建造师协会的成立,对建造师协会如何定位是目前十分重要的问题,这既关系到如何有效管理建造师行业,也关系到建造师制度的未来发展。文中从法律定位、行业定位及与政府、会员的关系定位三个方面,就我国建造师协会的定位问题展开讨论,并提出一些建议和个人见解。     

UG后处理技术的原理和应用

UG软件的加工模块自带的3轴数控铣床后处理器生成的G代码不能直接使用在一般的数控铣床。UG／Postbuilder（后处理构造器）可以编写出特定的后处理器,UG软件的刀路轨迹通过特定的后处理器生成的G代码,适合一般的数控铣床使用。